COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input basic.tex[1,3]
C00012 ENDMK
C⊗;
\input basic.tex[1,3]
\def\TEX{\hbox{\:aT\hskip-.1667em\lower.424ex\hbox{E}\hskip-.125em X}}
Copied from MANUAL.TEX[TEX,DEK]

The following listing of file \ basic.TEX \  shows how
to give \TEX\ enough knowledge to do the ``basic'' things mentioned in the
main text.

{\≡\chcode≡'173←1 \chcode≡'176←2 \chcode≡'44←3 \chcode≡'26←4≡\}\cr
{\≡\chcode≡'45←5 \chcode≡'43←6 \chcode≡'136←7 \chcode 1←8≡\}\cr
\noalign{\yskip}
{\≡\def\%{\char≡'45 } % Note, the space after 45 is needed! (e.g.\%0)≡\}\cr
\noalign{\yskip}
{\≡\def\lft#1{#1\hfill}≡\}\cr
{\≡\def\ctr#1{\hfill#1\hfill}≡\}\cr
{\≡\def\rt#1{\hfill#1}≡\}\cr
\noalign{\yskip}
{\≡\def\rjustline#1{\hbox to size{≡\}\cr
{\≡≡ ≡ ≡ ≡ \hskip0pt plus1000cm minus1000cm #1}}≡\}\cr
{\≡\def\ctrline#1{\hbox to size{\hskip0pt plus1000cm minus1000cm≡\}\cr
{\≡≡ ≡ ≡ ≡ #1\hskip0pt plus1000cm minus1000cm}}≡\}\cr
\noalign{\yskip}
{\≡\def\trace{\chpar0←} \def\jpar{\chpar1←} \def\ragged{\chpar8←}≡\}\cr
\noalign{\yskip}
{\≡\def\log{\mathop{\char≡'154\char≡'157\char≡'147}\limitswitch}≡\}\cr
{\≡\def\lg{\mathop{\char≡'154\char≡'147}\limitswitch}≡\}\cr
{\≡\def\ln{\mathop{\char≡'154\char≡'156}\limitswitch}≡\}\cr
{\≡\def\lim{\mathop{\char≡'154\char≡'151\char≡'155}}≡\}\cr
{\≡\def\limsup{\mathop{\char≡'154\char≡'151\char≡'155≡\}\cr
{\≡≡ ≡ ≡ ≡ \,\char≡'163\char≡'165\char≡'160}}≡\}\cr
{\≡\def\liminf{\mathop{\char≡'154\char≡'151\char≡'155≡\}\cr
{\≡≡ ≡ ≡ ≡ \,\char≡'151\char≡'156\char≡'146}}≡\}\cr
{\≡\def\sin{\mathop{\char≡'163\char≡'151\char≡'156}\limitswitch}≡\}\cr
{\≡\def\cos{\mathop{\char≡'143\char≡'157\char≡'163}\limitswitch}≡\}\cr
{\≡\def\tan{\mathop{\char≡'164\char≡'141\char≡'156}\limitswitch}≡\}\cr
{\≡\def\cot{\mathop{\char≡'143\char≡'157\char≡'164}\limitswitch}≡\}\cr
{\≡\def\sec{\mathop{\char≡'163\char≡'145\char≡'143}\limitswitch}≡\}\cr
{\≡\def\csc{\mathop{\char≡'143\char≡'163\char≡'143}\limitswitch}≡\}\cr
{\≡\def\max{\mathop{\char≡'155\char≡'141\char≡'170}}≡\}\cr
{\≡\def\min{\mathop{\char≡'155\char≡'151\char≡'156}}≡\}\cr
{\≡\def\sup{\mathop{\char≡'163\char≡'165\char≡'160}}≡\}\cr
{\≡\def\inf{\mathop{\char≡'151\char≡'156\char≡'146}}≡\}\cr
{\≡\def\det{\mathop{\char≡'144\char≡'145\char≡'164}}≡\}\cr
{\≡\def\exp{\mathop{\char≡'145\char≡'170\char≡'160}\limitswitch}≡\}\cr
{\≡\def\Pr{\mathop{\char≡'120\char≡'162}}≡\}\cr
{\≡\def\gcd{\mathop{\char≡'147\char≡'143\char≡'144}}≡\}\cr
{\≡\def\choose{\comb()}≡\}\cr
{\≡\def\leftset{\mathopen{\{\,}}≡\}\cr
{\≡\def\rightset{\mathclose{\,\}}}≡\}\cr
{\≡\def\modop{\<\,\mathbin{\char≡'155\char≡'157\char≡'144}\penalty900\<\,}≡\}\cr
{\≡\def\mod#1{\penalty0\;(\char≡'155\char≡'157\char≡'144\,\,#1)}≡\}\cr
{\≡\def\eqv{\mathrel\char≡'421 }≡\}\cr
{\≡\def\neqv{\mathrel{\not\eqv}}≡\}\cr
\noalign{\yskip}
{\≡\def\qquad{\quad\quad}≡\}\cr
\noalign{\yskip}
{\≡\def\ldots{{.\≡≥.\≡≥.}}≡\}\cr
{\≡\def\cdots{{\char≡'401\≡≥\char≡'401\≡≥\char≡'401}}≡\}\cr
{\≡\def\ldotss{{.\≡≥.\≡≥.\≡≥}}≡\}\cr
{\≡\def\cdotss{\cdots\≡≥}≡\}\cr
{\≡\def\ldotsm{{\≡≥.\≡≥.\≡≥.\≡≥}}≡\}\cr
{\≡\def\vdots{\vbox{\baselineskip 4pt\vskip 6pt≡\}\cr
{\≡≡ ≡ ≡ ≡ \hbox{.}\hbox{.}\hbox{.}}}≡\}\cr
\noalign{\yskip}
{\≡\def\eqalign#1{\vcenter{\halign{\hfill$\dispstyle{##}$\!≡\}\cr
{\≡≡ ≡ ≡ ≡ ≡ ≡ ⊗$\dispstyle{\null##}$\hfill\cr#1}}}≡\}\cr
{\≡\def\eqalignno#1{\vbox{\tabskip0pt plus1000pt minus1000pt≡\}\cr
{\≡≡ ≡ ≡ ≡ \halign to size{\hfill$\dispstyle{##}$\tabskip 0pt≡\}\cr
{\≡≡ ≡ ≡ ≡ ≡ ≡ ⊗$\dispstyle{\null##}$\hfill≡\}\cr
{\≡≡ ≡ ≡ ≡ ≡ ≡ \tabskip0pt plus1000pt minus1000pt≡\}\cr
{\≡≡ ≡ ≡ ≡ ≡ ≡ ⊗$\hfill##$\tabskip 0pt\cr#1}}}≡\}\cr
{\≡\def\cpile#1{\vcenter{\halign{$\hfill##\hfill$\cr#1}}}≡\}\cr
{\≡\def\lpile#1{\vcenter{\halign{$##\hfill$\cr#1}}}≡\}\cr
{\≡\def\rpile#1{\vcenter{\halign{$\hfill##$\cr#1}}}≡\}\cr
{\≡\def\null{\hbox{}}≡\}\cr
{\≡\def\twoline#1#2#3{\vbox{\hbox to size{$\quad\dispstyle≡\}\cr
{\≡≡ ≡ ≡ ≡ ≡ ≡ {#1}$\hfill}\vskip#2≡\}\cr
{\≡≡ ≡ ≡ ≡ \hbox to size{\hfill$\dispstyle{#3}\quad$}}}≡\}\cr
\noalign{\yskip}
{\≡\def\chop to#1pt#2{\hbox{\lower#1pt\null\vbox{\hbox{\lower99pt≡\}\cr
{\≡≡ ≡ ≡ ≡ ≡ ≡ ≡ ≡ \hbox{\raise99pt\hbox{$\dispstyle{#2}$}}}\vskip-99pt}}}≡\}\cr
{\≡\def\spose#1{\hbox to 0pt{#1\hskip0pt minus10000000pt}}≡\}\cr
\noalign{\yyskip}
{\≡\:@←cmathx≡\}\cr
{\≡\:a←cmr10 \:d←cmr7 \:f←cmr5≡\}\cr
{\≡\:g←cmi10 \:j←cmi7 \:l←cmi5≡\}\cr
{\≡\:n←cms10≡\}\cr
{\≡\:q←cmb10≡\}\cr
{\≡\:u←cmsy10 \:x←cmsy7 \:z←cmsy5≡\}\cr
{\≡\:?←cmti10≡\}\cr
\noalign{\yskip}
{\≡\def\rm{\:a} \def\sl{\:n} \def\bf{\:q} \def\it{\:?}≡\}\cr
\noalign{\yskip}
{\≡\parindent 20pt \maxdepth 2pt \topbaseline 10pt≡\}\cr
{\≡\parskip 0pt plus 1 pt \baselineskip 12pt \lineskip 1pt≡\}\cr
{\≡\dispskip 12pt plus 3pt minus 9pt≡\}\cr
{\≡\dispaskip 0pt plus 3pt \dispbskip 7pt plus 3pt minus 4pt≡\}\cr
\noalign{\yskip}
{\≡\def\biglp{\mathopen{\vcenter{\hbox{\:@\char≡'0}}}}≡\}\cr
{\≡\def\bigrp{\mathclose{\vcenter{\hbox{\:@\char≡'1}}}}≡\}\cr
{\≡\def\bigglp{\mathopen{\vcenter{\hbox{\:@\char≡'22}}}}≡\}\cr
{\≡\def\biggrp{\mathclose{\vcenter{\hbox{\:@\char≡'23}}}}≡\}\cr
{\≡\def\biggglp{\mathopen{\vcenter{\hbox{\:@\char≡'40}}}}≡\}\cr
{\≡\def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char≡'41}}}}≡\}\cr
\noalign{\yskip}
{\≡\mathrm adf \mathit gjl \mathsy uxz \mathex @≡\}\cr
\noalign{\yskip}
{\≡\output{\baselineskip20pt\page\ctrline{\:a\count0}\advcount0}≡\}\cr
{\≡\setcount0 1≡\}\cr
\noalign{\yskip}
{\≡\rm≡\}\cr
{\≡\null\vskip-12pt % allow glue at top of first page≡\}\cr}
\vskip
{\nofill
Type \ \ \ To get

\\%\ \ \ \ \ \ \%
\\log\ \ \ \ \log
\\lg\ \ \ \ \ \lg
\\ln\ \ \ \ \ \ln
\\lim\ \ \ \ \lim
\\limsup\ \limsup
\\liminf\ \liminf
\\sin\ \ \ \ \sin
\\cos\ \ \ \ \cos
\\tan\ \ \ \ \tan
\\cot\ \ \ \ \cot
\\sec\ \ \ \ \sec
\\csc\ \ \ \ \csc
\\max\ \ \ \ \max
\\min\ \ \ \ \min
\\sup\ \ \ \ \sup
\\inf\ \ \ \ \inf
\\det\ \ \ \ \det
\\exp\ \ \ \ \exp
\\Pr\ \ \ \ \ \Pr
\\gcd\ \ \ \ \gcd
\\leftset\ \leftset
\\rightset\ \rightset
\\modop\ \ \modop
\\eqv\ \ \ \ \eqv
\\neqv\ \ \ \neqv
\\qquad\ \ \qquad
\\ldots\ \ \ldots
\\cdots\ \ \cdots
\\ldotss\ \ldotss
\\cdotss\ \cdotss
\\ldotsm\ \ldotsm
\\vdots\ \ \vdots
}\par